package pl.edu.mimuw.irs.core.model.analysis;

import pl.edu.mimuw.irs.core.global.IDManager;
import pl.edu.mimuw.irs.core.model.design.processing.Role;
import pl.edu.mimuw.irs.core.model.petrinet.Place;

@Deprecated
public class RolePlace extends Place {

	private static final long serialVersionUID = 8738693223272335040L;

	// *** Attributes
	
	private Role role;
	public Role getRole() {
		return role;
	}
	public void setRole(Role role) {
		this.role = role;
	}
	
	// *** Constructors

	public RolePlace(IDManager idManager, Role role) {
		super(idManager, idManager.getPrefixedNewId("role_" + role.getName() + "_"));
		setRole(role);
	}

	// *** Methods
}
